function main()
end;
main();
